Soundnes相关论文
软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合.软件过程作为一种工作流,其建模和分析可以采用工作流的理论和......
进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共......
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其......
本文探讨了利用高游离钙粉煤灰(f-CaO=7%~11%)配制墙体水泥的可行性。试验结果表明,彩磨细加工与掺加少量CaCl2的方法可配制出:高钙灰掺量30%~40%,安全性与强度均......
以矸石电厂CFB(循环硫化床)增钙脱硫粉煤灰和烟气脱硫粉煤灰为研究对象,通过化学分析、XRD、SEM,分别对这两类粉煤灰进行特征分析,将......